* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
authorJuanma Barranquero <lekktu@gmail.com>
Mon, 16 Nov 2009 22:55:14 +0000 (22:55 +0000)
committerJuanma Barranquero <lekktu@gmail.com>
Mon, 16 Nov 2009 22:55:14 +0000 (22:55 +0000)
commitfde7696d9992b44f2314e57e5a19eea208f69a1e
tree68d89b6ef3bf3efbd6cc6e7a82ef124f46265759
parentd6b5dd9888762589a8ef897ef5065b7b8d6eb769
* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
  ($(infodir)/semantic, semantic.dvi): New targets.
doc/misc/ChangeLog
doc/misc/makefile.w32-in